Petri net supervisors for DES with uncontrollable and unobservable transitions
نویسندگان
چکیده
منابع مشابه
Petri Net Supervisors for Des with Uncontrollable and Unobservable Transitions Petri Net Supervisors for Des with Uncontrollable and Unobservable Transitions
A supervisor synthesis technique for Petri net plants with uncontrollable and unobservable transitions that enforces the conjunction of a set of linear inequalities on the reachable markings of the plant is presented. The approach is based on the concept of Petri net place invariants. Each step of the procedure is illustrated through a running example involving the supervision of a robotic asse...
متن کاملPetri net supervisors for DES with uncontrollable and unobservable transitions
A supervisor synthesis technique for Petri net plants with uncontrollable and unobservable transitions that enforces the conjunction of a set of linear inequalities on the reachable markings of the plant is presented. The approach is based on the concept of Petri net place invariants. Each step of the procedure is illustrated through a running example involving the supervision of a robotic asse...
متن کاملSupervisory Control of Petri Nets with Uncontrollable/unobservable Transitions Interdisciplinary Studies of Intelligent Systems Supervisory Control of Petri Nets with Uncontrollable/unobservable Transitions
This paper expands upon results of previous research dealing with the supervisory control of Petri net modeled discrete event systems that contain uncontrollable transitions. The concept of unobservable plant transitions is introduced here and incorporated into the controller design procedure. New conditions are developed which govern the existence of controllers for these problems. Two procedu...
متن کاملPetri Net Supervisors for DES in the Presence of Uncontrollableand
This paper describes a computationally eecient method for synthesizing feedback controllers for plants modeled by Petri nets which may contain uncontrollable transitions. The controller, a Petri net itself, computed using the concept of Petri net place invariants, enforces a set of linear constraints on the plant. It is shown how the original set of plant behavioral constraints can be transform...
متن کاملSupervisory Control of Petri Nets with Uncontrollable/unobservable Transitions Interdisciplinary Studies of Intelligent Systems
This paper expands upon results of previous research dealing with the supervisory control of Petri net modeled discrete event systems that contain uncontrollable transitions. It represents the current state of progress, as well as recent results, in an ingoing research project in the area of Petri nets in discrete event system control. The concept of unobservable plant transitions is introduced...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2000
ISSN: 0018-9286
DOI: 10.1109/9.847725